Order -
نویسندگان
چکیده
Generalization, also called anti-unification, is the dual of unification. Given terms t and t′, a generalization is a term t′′ of which t and t′ are substitution instances. The dual of a most general unifier (mgu) is that of least general generalization (lgg). In this work, we extend the known untyped generalization algorithm to an order-sorted typed setting with sorts, subsorts, and subtype polymorphism. Unlike the untyped case, there is in general no single lgg. Instead, there is a finite, minimal set of lggs, so that any other generalization has at least one of them as an instance. Our generalization algorithm is expressed by means of an inference system for which we give a proof of correctness. This opens up new applications to partial evaluation, program synthesis, and theorem proving for typed reasoning systems and typed rule-based languages such as ASF+SDF, Elan, OBJ, Cafe-OBJ, and Maude.
منابع مشابه
A Pure First Order Representation for Undamped Second Order Descriptor Systems
The aim of this paper is to analyze the undamped second order descriptor systems to show the possibility of transform an undamped second order descriptor system to a pure first order descriptor system ,on different ways, while stating some of its benefits. Meanwhile we will introduce pure first order systems and undamped second order systems and indicate that under some assumptions every undamp...
متن کاملλ-Symmetry method and the Prelle-Singer method for third-order differential equations
In this paper, we will obtain first integral, integrating factor and λ-symmetry of third-order ODEs u ⃛=F(x,u,u ̇,u ̈). Also we compare Prelle -Singer (PS) method and λ-symmetry method for third-order differential equations.In this paper, we will obtain first integral, integrating factor and λ-symmetry of third-order ODEs u ⃛=F(x,u,u ̇,u ̈). Also we compare Prelle -Singer (PS) method and λ-symmetry m...
متن کاملInteger-order Versus Fractional-order Adaptive Fuzzy Control of Electrically Driven Robots with Elastic Joints
Real-time robust adaptive fuzzy fractional-order control of electrically driven flexible-joint robots has been addressed in this paper. Two important practical situations have been considered: the fact that robot actuators have limited voltage, and the fact that current signals are contaminated with noise. Through of a novel voltage-based fractional order control for an integer-order dynamical ...
متن کاملCesaro Supermodular Order and Archimedean Copulas
In this paper, we introduce a new kind of order, Cesaro supermodular order, which includes supermodular order and stochastic order. For this new order, we show that it almost fulfils all desirable properties of a multivariate positive dependence order that have been proposed by Joe (1997). Also, we obtain some relations between it with other orders. Finally, we consider different issues related...
متن کاملSOLVING LINEAR SIXTH-ORDER BOUNDARY VALUE PROBLEMS BY USING HYPERBOLIC UNIFORM SPLINE METHOD
In this paper, a numerical method is developed for solving a linear sixth order boundaryvalue problem (6VBP ) by using the hyperbolic uniform spline of order 3 (lower order). Thereis proved to be first-order convergent. Numerical results confirm the order of convergencepredicted by the analysis.
متن کامل